Over-approximating reachable tubes of linear time-varying systems

On the Approximation of Pseudo Linear Systems by Linear Time Varying Systems (RESEARCH NOTE)

This paper presents a modified method for approximating nonlinear systems by a sequence of linear time varying systems. The convergence proof is outlined and the potential of this methodology is discussed. Simulation results are used to show the effectiveness of the proposed method.

Linear Time - Varying Systems

The notion of properness, well-known for constant linear systems, is generalized to the time-varying case. In a module theoretic framework intrinsic characterizations of input-output system properness are derived. For this, ltrations and the associated Hilbert polyno-mials are used. Classical criteria for properness of polynomial and state representations for constant linear systems are general...

Linear precoding over time-varying channels in TDD systems

Linear transmit filters depend on current channel state information, which is available from the uplink channel estimation in time division duplex systems. For multiple antenna elements at the transmitter, we illustrate the influence of out-dated channel estimates on link level performance for symmetric and asymmetric traffic, comparing the transmit matched, zero-forcing, and Wiener filter. A W...

Approximating solution of fully fuzzy linear systems in dual form

Over-Approximating Terms Reachable by Context-Sensitive Rewriting

For any left-linear context-sensitive term rewrite system and any regular language of ground terms I, we build a finite tree automaton that recognizes a superset of the descendants of I, i.e. of the terms reachable from I by context-sensitive rewriting.